Видео с ютуба Homotopy Theory
A Sphere is a Loop of Loops (Visualizing Homotopy Groups)
#1 Homotopy Type Theory Explained: A New Foundation for Mathematics
Ryomei Iwasa - 1/3 Motivic Stable Homotopy Theory
Andrew J. Blumberg: "Abstract homotopy theory for topological data analysis"
1. History of Algebraic Topology; Homotopy Equivalence - Pierre Albin
Dustin Clausen - 1/4 Algebraic K-theory and Chromatic Homotopy Theory
Computer Science and Homotopy Theory - Vladimir Voevodsky
Eric Finster : Homotopy Theory and Constructive Mathematics
An introduction to A^1 homotopy theory using enumerative examples - Kirsten Wickelgren
Introduction to Classical Homotopy Theory 1: Introduction
Algebraic Topology 1: Homotopy Equivalence
Formal Abstract Homotopy Theory - Jeremy Avigad
Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3
Homotopy Type Theory Discussed - Computerphile
Lie Algebras and Homotopy Theory - Jacob Lurie
An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky [2002]